Automatic Hardware/Software Interface Generation for Embedded System
نویسندگان
چکیده
منابع مشابه
Automatic Hardware/Software Interface Generation for Embedded System
A large portion of the embedded system development process involves the integration of hardware and software. Unfortunately, communication across the hardware/software boundary is tedious and error-prone to create. This paper presents an automatic hardware/software interface generation system. As the front-end of hardware/software co-design frameworks, a system designer defines XML specificatio...
متن کاملEfficient automatic code generation for embedded systems
Developing a safety critical real-time application raises high challenge: “failure is not an option”. The code has to be readable, reliable and efficient. For doing so, VERILOG has developed an environment based on formal approach. This is the only way to be in a position to prove that the code is doing what it is supposed to do, always.
متن کاملAutomatic Interface Generation for Compositional Verification
Compositional verification, the incremental generation and composition of the state graphs of individual processes to produce the global state graph, tries to address the state explosion problem for systems of communicating processes. The main problem with this approach is that intermediate state graphs are sometimes larger than the overall global system. To overcome this problem, interfaces [J...
متن کاملAutomatic Graphic User Interface Generation for VTK
VTK (The Visualization Toolkit) has become one of the most popular modular visualization environments. It is an open source software, which has evolved rapidly, new tools being constinuously integrated and a new (minor) release being produced daily. This rapid evolution makes it difficult to develop a graphic user interface (GUI) while maintaining software integrity, that is coherence between i...
متن کاملAutomatic Interface Generation for Enumerative Model Checking
Explicit state model checking techniques suffer from the state explosion problem [7]. Interfaces [6, 2] can provide a partial solution to this problem by means of compositional state space reduction and can thus be applied when verifying interestingly large examples. Interface generation has till now been largely a manual process, were experts in the system or protocol to be verified describe t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Information Processing Systems
سال: 2006
ISSN: 1976-913X
DOI: 10.3745/jips.2006.2.3.137